Books by author David Basin

Showing 1 – 11 out of 11 results

1. 

   Labelled Deduction

   David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan? | Springer, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.76 €

   Sale 7 %

   You save 8.61 €

   Buy
2. 

   Complete Guide to SCION

   Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   130.62 €

   Sale 9 %

   You save 14.03 €

   Buy
3. 

   Automated Reasoning

   David Basin, Michael Rusinowitch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.76 €

   Sale 7 %

   You save 8.61 €

   Buy
4. 

   The Complete Guide to SCION

   Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   90.44 €

   Sale 9 %

   You save 9.79 €

   Buy
5. 

   Theorem Proving in Higher Order Logics

   David Basin, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.57 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Applied Information Security

   David Basin, Patrick Schaller, Michael Schläpfer | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   45.42 €

   Sale 9 %

   You save 4.86 €

   Buy
7. 

   Applied Information Security

   David Basin | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   45.42 €

   Sale 9 %

   You save 4.86 €

   Buy
8. 

   Theorem Proving in Higher Order Logics

   David Basin, Burkhart Wolff | Springer Nature B.V., 2014

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   56.82 €

   Sale 0 %

   You save 0.01 €

   Buy
9. 

   Modeling and Analyzing Security Protocols with Tamarin

   David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   55.41 €

   Sale 9 %

   You save 5.96 €

   Buy
10. 

    Labelled Deduction

    David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan? | Springer, 2000

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Hardback

    109.12 €

    Buy
11. 

    Principles of Security and Trust

    David Basin, John C. Mitchell | Springer, Berlin, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.57 €

    Sale 7 %

    You save 4.27 €

    Buy

Nobody else offers you access to a wider selection. Find out more